Заберу к себе на будущее.
Originally posted by
sober_space at
postОнлайновая тулза для доказательств в
струнных диаграммах (да-да, в тех самых):
globular.science. Думаю, многим моего курса должно хватить чтобы понять что там да как.
The purpose of this post is to introduce Globular, a new proof assistant for working with higher-categorical proofs using
(
Read more... )